Predicate logic for software engineering - Software Engineering, IEEE Transactions on

Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering

A secondary analyses of Bradac et al.’s prototype process-monitoring experiment

We report on the secondary analyses of some conjectures and empirical evidence presented in Bradac et al.’s prototype process-monitoring experiment, published previously in IEEE Transactions on Software Engineering. We identify 13 conjectures in the original paper, and re-analyse six of these conjectures using the original evidence. Rather than rejecting any of the original conjectures, we iden...

[12] Korel B., PELAS- Program Error Locating Assistant System, IEEE Transactions on Software Engineering,

Example of the session with the FORMAN/PASCAL assertion checker prototype .

Requirements Engineering at Age 20: Looking Back, Looking Ahead

The panelists will look back at the progress in requirements engineering since its emergence as a fullfledged sub-discipline of software engineering in 1976.. This was primarily marked by a set of special sessions on software requirements engineering at ICSE 2 in October, 1976, followed by the publication of some of the key ICSE 2 papers in the January 1977 IEEE Transactions on Software Enginee...

Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'"

We respond to criticism by D. Berry and W. Tichy of our paper that appeared in the March 2002 issue of IEEE Transactions on Software Engineering. Many of the supposed faults they identify in our experiment are a result of a misunderstanding on their part, while others are inherent aspects of an educational experiment. We present counterarguments that explain why our experiment is valid.